PDF Document

Source URL: www.cs.miami.edu

• Automated theorem proving
• Formal methods
• E theorem prover
• Vampire
• CADE ATP System Competition
• Logic in computer science
• Geoff Sutcliffe
• Automated reasoning
• CASC
• Logic
• Mathematics
• Mathematical logic